Kotools Types/kotools.types.number/div

div

@SinceKotoolsTypes(version = "1.1")
infix operator fun Int.div(other: NegativeInt): Int
@SinceKotoolsTypes(version = "1.1")
infix operator fun Int.div(other: PositiveInt): Int

Divides this value by the other value, truncating the result to an integer that is closer to 0. Throws an ArithmeticException if the other value equals 0.

@SinceKotoolsTypes(version = "1.1")
infix operator fun Int.div(other: NonZeroInt): Int
@SinceKotoolsTypes(version = "1.1")
infix operator fun Int.div(other: StrictlyNegativeInt): Int
@SinceKotoolsTypes(version = "1.1")
infix operator fun Int.div(other: StrictlyPositiveInt): Int

Divides this value by the other value, truncating the result to an integer that is closer to 0.